|
|
|
|
CST 603 Computing Logic and Algorithms Credits: 3
This course covers the fundamentals of computing logic and computational algorithms, including mathematical logic, set theory, pseudo-code, induction, recursion, relations, classifications, effective computability of functions and sets in terms of Turing machines, and other computational models.
|
|
|
|
|
|